Recombinant human antithrombin (ATryn)